Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
271	For Bayesians, Rational Modesty Requires Imprecision Gordon Belot (forthcoming) has recently developed a novel argument against Bayesianism. He shows that there is an interesting class of problems that, intuitively, no r Add to Reading List Source URL: brian.weatherson.org Language: English - Date: 2013-10-03 12:13:27 Randomness Mathematical analysis Probability and statistics Polynomials Proofs of convergence of random variables Peetre theorem Probability theory Mathematics Random variable
272	THE PROBLEM OF BUREAUCRACY AND IDENTITY OF PROOFS FROM THE PERSPECTIVE OF DEEP INFERENCE Alessio Guglielmi (TU Dresden and University of Bath[removed]Abstract Deep inference offers possibilities for getting rid of muc Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:47 Propositional calculus Boolean algebra Logic in computer science Lambda calculus Proof theory Combinatory logic Modal logic Negation Logic Mathematical logic Mathematics
273	Journal on Satisfiability, Boolean Modeling and Computation[removed]Complexity of Semialgebraic Proofs with Restricted Degree of Falsity∗† Edward A. Hirsch Arist Kojevnikov Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-11-12 04:43:46 Mathematical logic Logic in computer science Computational complexity theory Proof complexity Function Mathematical proof Resolution Inequality Mathematics Theoretical computer science Automated theorem proving
274	A Semi-Systematic Sampling of Trig Identities: Part II #24 of Gottschalk’s Gestalts A Series Illustrating Innovative Forms of the Organization & Exposition Add to Reading List Source URL: gottschalksgestalts.org Language: English - Date: 2005-01-23 22:20:36 Mathematical analysis Trigonometric functions Gudermannian function Mnemonics in trigonometry Proofs of trigonometric identities Trigonometry Mathematics Geometry
275	Effective Interactive Proofs for Higher-Order Imperative Programs ∗ Adam Chlipala Gregory Malecha Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Separation logic Mathematical proof Coq Proof assistant Calculus of constructions ATS Modal logic First-order logic Logic Mathematical logic Theoretical computer science
276	SIMPLIFIED PROOFS OF THE CARTAN STRUCTURE EQUATIONS by M. W. Evans, Civil List Scientist Alpha Institute for Advanced Studies, (www.aias.us) Add to Reading List Source URL: atomicprecision.files.wordpress.com Language: English - Date: 2010-01-06 02:26:42 Connection Curvature Cartan connection Riemannian geometry Torsion tensor Covariant derivative General relativity Riemann curvature tensor Differential geometry Mathematical analysis Theoretical physics
277	Speeding up the Convergence of Real-Time Search: Empirical Setup and Proofs David Furcy and Sven Koenig {dfurcy,skoenig}@cc.gatech.edu Add to Reading List Source URL: www.uwosh.edu Language: English - Date: 2000-05-31 11:07:12 Artificial intelligence Admissible heuristic A* search algorithm Heuristic function Monotonic function Heuristic State space Heuristics Mathematical analysis Mathematics
278	Functional Programming and Specification Lecture Note 3, 11 March 2011 Proving that a function meets its specification We can show that a program satisfies its specification by proving that it satisfies all of the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-11 07:20:09 Inductive reasoning Mathematical logic Mathematical proofs Graph theory Mathematical induction Structural induction Recursion List Constructible universe Mathematics Software engineering Computer programming
279	4-point Fermat location problems revisited. New proofs and extensions of old results Frank Plastria ∗ Add to Reading List Source URL: mosi.vub.ac.be Language: English - Date: 2006-10-10 04:26:23 Metric geometry Linear algebra Topology Mathematical structures Spheres Norm Lp space Triangle inequality Metric Mathematics Geometry Algebra
280	PDF Document Add to Reading List Source URL: www.kevinhouston.net Language: English - Date: 2010-09-21 08:32:16 Rules of inference Mathematical proofs Contraposition Theorem Converse Triviality Calculus Function Proof by contrapositive Mathematics Logic Mathematical logic

UPDATE